Linear types and approximation
نویسندگان
چکیده
We study continuous lattices with maps that preserve all suprema rather than only directed ones. We introduce the (full) subcategory of FS-lattices, which turns out to be ∗-autonomous, and in fact maximal with this property. FS-lattices are studied in the presence of distributivity and algebraicity. The theory is extremely rich with numerous connections to classical Domain Theory, complete distributivity, Topology and models of Linear Logic.
منابع مشابه
Modified Linear Approximation for Assessment of Rigid Block Dynamics
This study proposes a new linear approximation for solving the dynamic response equations of a rocking rigid block. Linearization assumptions which have already been used by Hounser and other researchers cannot be valid for all rocking blocks with various slenderness ratios and dimensions; hence, developing new methods which can result in better approximation of governing equations while keepin...
متن کاملOn the Approximation of Pseudo Linear Systems by Linear Time Varying Systems (RESEARCH NOTE)
This paper presents a modified method for approximating nonlinear systems by a sequence of linear time varying systems. The convergence proof is outlined and the potential of this methodology is discussed. Simulation results are used to show the effectiveness of the proposed method.
متن کاملOn the approximation by Chlodowsky type generalization of (p,q)-Bernstein operators
In the present article, we introduce Chlodowsky variant of $(p,q)$-Bernstein operators and compute the moments for these operators which are used in proving our main results. Further, we study some approximation properties of these new operators, which include the rate of convergence using usual modulus of continuity and also the rate of convergence when the function $f$ belongs to the class Li...
متن کاملHigh impedance fault detection: Discrete wavelet transform and fuzzy function approximation
This paper presets a method including a combination of the wavelet transform and fuzzy function approximation (FFA) for high impedance fault (HIF) detection in distribution electricity network. Discrete wavelet transform (DWT) has been used in this paper as a tool for signal analysis. With studying different types of mother signals, detail types and feeder signal, the best case is selected. The...
متن کاملAPPROXIMATION SOLUTION OF TWO-DIMENSIONAL LINEAR STOCHASTIC FREDHOLM INTEGRAL EQUATION BY APPLYING THE HAAR WAVELET
In this paper, we introduce an efficient method based on Haar wavelet to approximate a solutionfor the two-dimensional linear stochastic Fredholm integral equation. We also give an example to demonstrate the accuracy of the method.
متن کاملNew Optimal Observer Design Based on State Prediction for a Class of Non-linear Systems Through Approximation
This paper deals with the optimal state observer of non-linear systems based on a new strategy. Despite the development of state prediction in linear systems, state prediction for non-linear systems is still challenging. In this paper, to obtain a future estimation of the system states, initially Taylor series expansion of states in their receding horizons was achieved to any specified order an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Mathematical Structures in Computer Science
دوره 10 شماره
صفحات -
تاریخ انتشار 2000